Facet browsing currently unavailable
Page 1 of 1116 results
Sort by: relevance publication year
Compositional refinement in agent-based security protocols JOURNAL ARTICLE published November 2011 in Formal Aspects of Computing |
Assuring property conformance of code generators via model checking JOURNAL ARTICLE published September 2011 in Formal Aspects of Computing |
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation JOURNAL ARTICLE published November 2017 in Formal Aspects of Computing Research funded by European Cooperation in Science and Technology (IC 1402) |
Mechanised support for sound refinement tactics JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing |
Correction to: Multiple model synchronizationwith multiary delta lenses with amendment andK-Putput JOURNAL ARTICLE published February 2020 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published May 2016 in Formal Aspects of Computing |
On the expressive power of behavioral profiles JOURNAL ARTICLE published July 2016 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published January 2014 in Formal Aspects of Computing |
Simulation relations for fault-tolerance JOURNAL ARTICLE published November 2017 in Formal Aspects of Computing Research funded by Fondo para la Investigación Científica y Tecnológica (PICT-2013-0080,PICT-2012-1298) |
Contract-based verification of MATLAB-style matrix programs JOURNAL ARTICLE published March 2016 in Formal Aspects of Computing |
Legislation-driven development of a Gift Aid system using Event-B JOURNAL ARTICLE published July 2020 in Formal Aspects of Computing Research funded by Innovate UK (133294) | Innovate UK (133294) | Innovate UK (133294) | Innovate UK (133294) |
Semantics of the probabilistic Lambda CalculusBy Dirk Draheim JOURNAL ARTICLE published June 2021 in Formal Aspects of Computing |
SDLV: Verification of Steering Angle Safety for Self-Driving Cars JOURNAL ARTICLE published June 2021 in Formal Aspects of Computing Research funded by Fundamental Research Funds for the Central Universities (DUT20TD107) |
Editorial JOURNAL ARTICLE published January 2018 in Formal Aspects of Computing |
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing |
An algebraic approach to the design of compilers for object-oriented languages JOURNAL ARTICLE published September 2010 in Formal Aspects of Computing |
Refining autonomous agents with declarative beliefs and desires JOURNAL ARTICLE published March 2017 in Formal Aspects of Computing Research funded by Australian Research Council (DP110101211) |
Proving completeness of logic programs with the cut JOURNAL ARTICLE published January 2017 in Formal Aspects of Computing |
Consistency-preserving refactoring of refinement structures in Event-B models JOURNAL ARTICLE published June 2019 in Formal Aspects of Computing |
Concolic testing of the multi-sector read operation for flash storage platform software JOURNAL ARTICLE published May 2012 in Formal Aspects of Computing |